Simulation and Formal Analysis of Visual Attention in Cognitive Systems
نویسندگان
چکیده
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is used to simulate a human subject’s attention. The formal analysis is based on temporal relational specifications for attentional states and for different stages of attentional processes. The model has been automatically verified against these specifications.
منابع مشابه
The effectiveness of cognitive-behavioral doll therapy on behavioral problems in children aged 9-7 years with visual impairment
Children with visual impairments suffer from major behavioral problems that affect the child's developmental process and adaptation to their environment. Therefore, this study was conducted to determine the effectiveness of puppetry and cognitive-behavioral therapy on internalized and externalized problems of children with visual impairment. The statistical population of this study included all...
متن کاملEvaluation of Visual-Spatial Cognitive Function and Attention in Pilots of Air Force of Islamic Republic of Iran
Introduction: The pilot has a continuous flow of various activities that require navigation, attention, and navigation working memory. Fighter pilots are more vulnerable to cognitive impairment due to positive gravitational acceleration. This point indicates the importance of their cognitive assessments. Objective: This study aimed to evaluate visual-spatial cognitive function and attention in ...
متن کاملتشریح ویژگیهای شناختی شغل اپراتور مرکز کنترل ترافیک شهری و توصیف مراحل اجرای تکنیک (CWA (Analysis Cognitive Work
Introduction: As the traffic is one of the most common social troubles in big cities, widen the roads culture and using the intelligent methods are using to control the traffic. Therefore, the traffic control systems are innovated. These system operators have to do many cognitive jobs to manage these systems. CWA as a framework to improve the design of these systems has introduced i...
متن کاملSimulation and formal analysis of visual attention
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of an agent-based system that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is used to simulate a human subject’s attention. The formal analysis is based on temporal relational s...
متن کاملThe Effect of Cognitive-Behavioral Therapy-Based Social Work Intervention on the burden of formal caregivers among Alborz city nursing home
Objectives: As the elderly population increases and their ability decreases, the need for nursing homes and formal caregivers becomes more significant. Caregivers are under the pressure and burden of care due to the provision of services. Therefore, the current study aimed to investigate the effect of cognitive-behavioral therapy-based social work intervention on the extent of care burden among...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007